Adequacy of contract grammars for component certification
نویسندگان
چکیده
The use of contracts in component-based development is a well-established approach. However there exists a wide range of views as to the nature of the contracts that are necessary to support safety-critical systems development, assurance and certification. Different standards and projects have tried to reduce ambiguity and propose the best practice in this area. In this paper we present work that moves one step further forward with the creation of a methodology and grammar that incorporates encompasses and helps structure current models of ‘safety contracts’. Keywords— component; certification, contracts, grammar
منابع مشابه
Adequacy of Acute Flaccid Paralysis (AFP) Surveillance Indicators for Iran in 2016
Eradication of polio as a largest public health innovation is led by the World Health Organization (WHO) in the world (1). The main strategies to reach this goal included improved routine immunization, adequate response to outbreaks and effective surveillance (2). Acute Flaccid Paralysis (AFP) surveillance has considered as a comprehensive program for polio eradication, by identification of are...
متن کاملVolume II: Technical Concepts of Component-Based Software Engineering, 2nd Edition
vii 1 Nothing New Under the Sun? 1 2 Software Component Technology 3 Summary of Key Points 5 3 Vision Statement 7 Summary of Key Points 8 4 Components 9 Summary of Key Points 10 5 Interfaces 11 5.1 Interface Abstraction and Application Programming Interfaces 11 5.2 Extending APIs to Extra-Functional Properties 12 5.2.1 Specifying Behavior 12 5.2.2 Specifying Synchronization 13 5.2.3 Specifying ...
متن کاملPredictable Assemblies using Monitored Software Components
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. The concept is general in the sense that it addresses the whole product lifecycle including development, debugging, testing and maintenance. Also, reuse across multiple product versions and variants are facilitated by our approach to monitor...
متن کاملOptimal Remanufacturing Certification Contracts in the Electrical and Electronic Industry
While remanufacturing is highly encouraged worldwide, some original equipment manufacturers (OEMs) in the electrical and electronics industry are still not willing to embrace remanufacturing, for fear of expensive investment or the cannibalization of existing products. Meanwhile, third-party remanufacturers’ (TPRs) remanufactured products are developing quickly. Due to quality reasons, consumer...
متن کامل